Research suggests that sedentary behavior is negatively associated with cognitive outcomes. Interrupting prolonged sitting has been shown to improve cognitive functions, including executive functioning, which is important for academic performance. No research has been conducted on the effect of standing on EF in VET students, who make up a large proportion of the adolescent population and who are known to sit more than other students of this age. In this study, we investigated the acute effects of reducing SB by short (...) time standing on EF in vocational education and training students. In a randomized crossover study, 165 VET students were first taught for 15 min in seated position. After this, they performed while seated the Letter Memory Test for updating, and the Color Shape Test for shifting and inhibition. Students were randomly assigned to a sitting or standing condition. All students were taught again for 15 min and then took the same tests in the condition they were allocated to, respectively, standing or seated. After 1 week, the test procedure was repeated, in which students switched conditions. Mixed model analyses showed no significant effect of sitting or standing on updating, shifting, or inhibition. Also, no significant differences were found for the order of condition on updating, shifting, or inhibition. Our results suggest that 40 min of standing does not significantly influence EF among VET students. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

This article focuses on maternal-fetal surgery (MFS) and on the concept of clinical equipoise that is a widely accepted requirement for conducting randomized controlled trials (RCT). There are at least three reasons why equipoise is unsuitable for MFS. First, the concept is based on a misconception about the nature of clinical research and the status of research subjects. Second, given that it is not clear who the research subject/s in MFS is/are, if clinical equipoise is to be used as a (...) criterion to test the ethical appropriateness of RCT, its meaning should be unambiguous. Third, because of the multidisciplinary character of MFS, it is not clear who should be in equipoise. As a result, we lack an adequate criterion for the ethical review of MFS protocols. In our account, which is based on Chervenak and McCullough's seminal work in the field of obstetric ethics, equipoise is abandoned. and RCT involving MFS can be ethically initiated when a multidisciplinary ethics review board (ERB), having an evidence-based assessment of the risks involved, is convinced that the value of answering the research hypothesis, for the sake of the health interests of future pregnant women carrying fetuses with certain congenital birth defects, justifies the actual risks research participants might suffer within a set limit of low/manageable. (shrink)

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logicalnotions considered we suggest that the "most natural" reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the “most natural” reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.

Julian H. Franklin, scholar of constitutionalism in the late sixteenth century, has extended his researches into the late seventeenth century with this fine work on Locke and Locke’s immediate sources. Franklin’s book is short, concise, well-focused and carefully argued. It is also thought-provoking to a degree one would not expect from the modesty or historicity of the subject. Controversy over this problem of political rhetoric and science, once heated while lives and fates were involved, is now cold, and the problem (...) no longer seems to be ours. Franklin follows the reasoning of past thinkers and deftly joins in when he can, providing for us an exemplary model of political theory on the quiet: he makes old arguments relevant to us without forcing them and he detaches us from our alleged necessities without resorting to silly hypotheses. (shrink)

Julian H. Franklin, scholar of constitutionalism in the late sixteenth century, has extended his researches into the late seventeenth century with this fine work on Locke and Locke’s immediate sources. Franklin’s book is short, concise, well-focused and carefully argued. It is also thought-provoking to a degree one would not expect from the modesty or historicity of the subject. Controversy over this problem of political rhetoric and science, once heated while lives and fates were involved, is now cold, and the problem (...) no longer seems to be ours. Franklin follows the reasoning of past thinkers and deftly joins in when he can, providing for us an exemplary model of political theory on the quiet: he makes old arguments relevant to us without forcing them and he detaches us from our alleged necessities without resorting to silly hypotheses. (shrink)

"Historical recurrence" is an idea of uncertain but considerable breadth conceived by G. W. Trompf. Vaguer and wider than the notion of a cycle, it can mean "typical changes" or that "history somehow repeats itself". Besides the cycle it is said to include the alternation view, the reciprocal view, the reenactment view, renaissance, recurrence proceeding from the uniformity of human nature, similarity, parallelism, and lessons of the past. As Trompf traces this idea from antiquity to the Reformation he points out (...) many along the way who somehow contributed to its formation but rests on three who chiefly formulated some version of it: Polybius, Luke, and Machiavelli. These are seen as historians—even Luke is "an historian of the Hellenistic period" —to whom history somehow repeats itself. (shrink)

Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...) is lawless? is not acceptable, the lawless sequences do not form a well-circumscribed intuitionistic set, and quantification over lawless sequences does not make sense. (shrink)

The legitimacy of the dominant intensive meat production system with respect to the issue of animal welfare is increasingly being questioned by stakeholders across the meat supply chain. The current meat supply is highly undifferentiated, catering only for the extremes of morality concerns (i.e., conventional vs. organic meat products). However, a latent need for compromise products has been identified. That is, consumer differences exist regarding the trade-offs they make between different aspects associated with meat consumption. The heterogeneity in consumer demand (...) could function as a starting point for market segmentation, targeting and positioning regarding animal welfare concepts that are differentiated in terms of animal welfare and price levels. Despite this, stakeholders in the meat supply chain seem to be trapped in the dominant business model focused on low cost prices. This paper aims to identify conflicting interests that stakeholders in the meat supply chain experience in order to increase understanding of why heterogeneous consumer preferences are not met by a more differentiated supply of meat products produced at different levels of animal welfare standards. In addition, characteristics of the supply chain that contribute to the existence of high exit barriers and difficulty to shift to more animal-friendly production systems are identified. Following the analysis of conflicting interests among stakeholders and factors that contribute to difficulty to transform the existing dominant regime, different routes are discussed that may help and motivate stakeholders to overcome these barriers and stimulate the creation of new markets. (shrink)